логических выводов

См. также в других словарях:

• логических выводов в секунду — — [Е.С.Алексеев, А.А.Мячев. Англо русский толковый словарь по системотехнике ЭВМ. Москва 1993] Тематики информационные технологии в целом EN logical inferences per secondlips …   Справочник технического переводчика

• ЭЛИМИНАЦИОННАЯ ТЕОРЕМА —     ЭЛИМИНАЦИОННАЯ ТЕОРЕМА фундаментальная теорема доказательств теории. Термин “элиминационная теорема” введен X. Карри в качестве альтернативного названия теоремы об устранении сечения, которая впервые была сформулирована и доказана Г. Генценом …   Философская энциклопедия

• ИСЧИСЛЕНИЕ СЕКВЕНЦИЙ —     ИСЧИСЛЕНИЕ СЕКВЕНЦИЙ одна из основных форм представления логических систем, применяемая в логике наряду с аксиоматическими системами (гильбертовского типа) и системами натурального (естественного) вывода. Термин “секвенция” происходит от… …   Философская энциклопедия

• ГЕНЦЕН —     ГЕНЦЕН (Gentzen) Герхард (24 ноября 1909, Грейфсвальд, Померания 4 августа 1945, Прага) немецкий математик и логик. Детство провел и учился в начальной школе на о. Рюнген в Балтийском море. В 1920 переехал с матерью (отец погиб в 1 й мировой… …   Философская энциклопедия

• СЕРЕБРЯННИКОВ —     СЕРЕБРЯННИКОВ Олег Федорович (4 августа 1930, Ленинград 12 июля 1991, Ленинград) русский логик и философ. В 1949 поступил на философский факультет Ленинградского государственного университета, который закончил в 1953. После окончания… …   Философская энциклопедия

• Логическая мысль —    Л. м. в России стала интенсивно развиваться несколько позже, чем на Западе, дав тем не менее образцы новаторства во мн. сферах логики. С X в., когда на Руси появились соч., содержащие логические знания (перевод 1 й ч. Источника знания Иоанна… …   Русская Философия. Энциклопедия

• логические исследования в россии и ссср —         ЛОГИЧЕСКИЕ ИССЛЕДОВАНИЯ В РОССИИ И СССР развитое направление научных исследований, результаты которого получают международное признание. Оно стало интенсивно развиваться несколько позже, чем в Европе и США. С 10 в., когда на Руси… …   Энциклопедия эпистемологии и философии науки

• Теория познания — В широком своем смысле термин этот определяется противоположением термину практика познаний , т. е. означает собою все то, что служит к объяснению действия познания и к руководству им. В пределах широкого определения этого термина неизбежно… …   Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона

• НЬЯЯ —         (санскр., букв. правило, рассуждения, вхождение в предмет, аналитич. исследование, логика), одна из ортодоксальных систем др. инд. философии (см. Астика); не отвергает авторитет Вед, но своё учение строит на независимых основаниях. Во мн …   Философская энциклопедия

• Парадокс — (греч. paradoxos – неожиданный, странный) – ситуация, когда на основании ряда предпосылок некоего суждения, обычно признающихся истинными, могут быть получены противоречащие им заключения без нарушения правил формальной логики. Например, это так… …   Энциклопедический словарь по психологии и педагогике

• Доказательство —         в логике, процесс (метод) установления истины (См. Истина), обоснование истинности суждения (См. Суждение). В соответствии с различными возможными аспектами и уровнями рассмотрения и употребления понятий «истина» («истинность») и… …   Большая советская энциклопедия